inr($x$) $\Rightarrow$ ${\it body}$($x$) ; ${\it cont}$(${\it value}$,${\it contvalue}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Case ${\it value}$ of inl($\_$) $\Rightarrow$ ${\it cont}$(${\it contvalue}$,${\it contvalue}$) ; inr($x$) $\Rightarrow$ ${\it body}$($x$)